Following recent developments in the literature on axiomatic theories of truth, we investigate an alternative to the widespread habit of formalizing the syntax of the object-language into the object-language itself. We first argue for the proposed revision, elaborating philosophical evidences in favor of it. Secondly, we present a general framework for axiomatic theories of truth with theories of syntax. Different choices of the object theory O will be considered. Moreover, some strengthenings of these theories will be introduced: we will consider (...) extending the theories by the addition of coding axioms or by extending the schemas of O, if present, to the entire vocabulary of our theory of truth. Finally, we touch on the philosophical consequences that the theories described can have on the debate about the metaphysical status of the truth predicate and on the formalization of our informal metatheoretic reasoning. (shrink)

This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth.

In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a set of ten natural principles of truth and prove that every consistent permutation of them forms a theory conservative over Peano arithmetic.

This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen.

This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.

We introduce a path-based cyclic proof system for first-order $\mu $-calculus, the extension of first-order logic by second-order quantifiers for least and greatest fixed points of definable monotone functions. We prove soundness of the system and demonstrate it to be as expressive as the known trace-based cyclic systems of Dam and Sprenger. Furthermore, we establish cut-free completeness of our system for the fragment corresponding to the modal $\mu $-calculus.

This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i, over Heyting arithmetic ($${\textrm{HA}}$$ HA ), originally proved in full generality by Arai (Ann Pure Appl Log 162:807–815, 2011. https://doi.org/10.1016/j.apal.2011.03.002). The proof embeds $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i into the corresponding theory over Beeson’s logic of partial terms and then uses two consecutive interpretations, a realizability interpretation of this theory into the subtheory generated by almost negative fixpoints, and (...) a direct interpretation into Heyting arithmetic with partial terms using a hierarchy of satisfaction predicates for almost negative formulae. It concludes by applying van den Berg and van Slooten’s result (Indag Math 29:260–275, 2018. https://doi.org/10.1016/j.indag.2017.07.009) that Heyting arithmetic with partial terms plus the schema of self realizability for arithmetic formulae is conservative over $${\textrm{HA}}$$ HA. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reifying Relevance in Mild Cognitive Impairment:An Appeal for Care and CautionJanice E. Graham (bio) and Karen Ritchie (bio)KeywordsAlzheimer’s disease, construction, dementia, market forces, mild cognitive impairmentWe thank the reviewers for their thoughtful comments that probe shadowy areas in our argument, and we welcome this opportunity to elucidate our position. First, we are not repudiating the natural and social facts of pathologic brain degeneration and the physical and cognitive (...) impairments that manifest in people affected by dementia disorders. We are, however, questioning the epistemology, politics, and persistence by some to harden the construct of mild cognitive impairment (MCI) prematurely as a "natural" precursor to dementia. We suggested insufficiencies in viewing MCI as prodromal to Alzheimer's disease (AD; Graham and Ritchie 2006, 36), and pointed to evidence for the prognostic irrelevance of some MCI subcategories (35). The commentators have read our manuscript as suggesting that AD and MCI are different kinds, and that a diagnosis of AD is more "real" than that of MCI. But AD is also fraught with classification issues, as we describe in the section of our paper that deals with consensus committees, published practice guidelines, and the determination of treatment efficacy. Like MCI, AD is a heterogeneous condition, but unlike MCI, AD is a constructed practical kind that does some "work" beyond essentialist (neural degeneration, brain atrophy) claims. Its criteria identify people with well-defined dementia symptoms and multiple cognitive and functional impairments who are in need of, and benefit from, support. Even with these criteria, however, there have been great attempts to achieve definitional accuracy in dementia diagnoses. Practical refinements to the differential diagnosis of dementia based on solid research evidence have made way for more specific recognitions of vascular dementias, dementia of the Lewy body type, and other subtypes beyond AD. So AD too has been subject to more careful, more cautious operationalization in recent years, with research supporting multiple factors and the comorbidity of several types (kinds) of dementia in any one individual.Our paper takes up concerns that are not resolved for dementia and suggests that the nascent category of MCI is still so insufficiently defined as to be ambiguous, and as such, is in danger of identifying individuals with what will be, and has [End Page 57] already been, linked to a debilitating and deeply stigmatizing and fatal disorder (AD). We are not contesting the reality that some people begin to display early signs of cognitive loss, nor are we suggesting that symptoms be ignored; as researchers, we stand behind the careful tracking of symptoms and signs in patients and research participants as an essential clinical and research practice. In a era where the public has been made wary of the potentially fatal effects of new treatments whose more careful scrutiny in specific populations would have saved lives (e.g., Fontanarosa, Rennie, and DeAngelis 2004; Psaty and Furberg 2005), and made all the more popular by what Kramer coined "diagnostic bracket creep" (1993, 15), we are questioning the drivers and value of a premature diagnostic classification whose definitional accuracy is neither sufficient nor effective for specific identification of individuals.That matters of fact are constructed does not take away from their natural fact. Some people have subjective reports or show objective evidence of cognitive decline while having preserved activities of daily living—the construction of this evidence indicates they are not normal and they are not demented. Based on such evidence, where then does the balance of probability for MCI lie? A multidisciplinary international group of experts gathered in Stockholm in 2003 to discuss MCI concepts (Winblad et al. 2004). They acknowledged that the heterogeneous etiology of MCI contributes to "some confusion concerning the specific boundaries of the condition", stating that this "not normal, not demented" condition is nonetheless "useful both clinically and as a research entity" (p. 241). Importantly, they concluded that MCI needs "better definition" (p. 246). It was at this stage that we first wrote our manuscript, and in the subsequent two years we have eagerly awaited new studies, and the recognition of flexible, practical subtypes to evolve.We state "that MCI cannot be considered to be a separate clinical entity" (Graham and... (shrink)

Even though disquotationalism is not correct as it is usually formulated, a deep insight lies behind it. Specifically, it can be argued that, modulo implicit commitment to reflection principles, all there is to the notion of truth is given by a simple, natural collection of truth-biconditionals.

In the year 1308, Cardinal Giacomo Colonna was a tremendously busy man. He had returned to Rome only a few years earlier in the aftermath of a devastating papal war waged against his family by Boniface VIII. The papal court had been absent from the city for years, leaving an administrative void in Rome as it established itself first in Poitiers, then in Avignon from 1308 under the leadership of the Gascon pope Clement V. In 1306 Giacomo was fully reinstated (...) to the cardinalate, and set about rebuilding his family's fortunes and reputation, as well as a number of the city's churches. He commissioned a new mosaic facade for the basilica of Santa Maria Maggiore, and in 1308 he oversaw repairs... (shrink)

BackgroundLittle is known about volunteers from Northern research settings who participate in vaccine trials of highly infectious diseases with no approved treatments. This article explores the motivations of HIV immunocompromised study participants in Canada who volunteered in a Phase II clinical trial that evaluated the safety and immunogenicity of an Ebola vaccine candidate.MethodsObservation at the clinical study site and semi-structured interviews employing situational and discursive analysis were conducted with clinical trial participants and staff over one year. Interviews were recorded, transcribed (...) and analysed using critical qualitative interpretivist thematic analytical techniques. Patterns were identified, clustered and sorted to generate distinct and comprehensive themes. We then reassembled events and contexts from the study participants’ stories to develop two ideal portraits based on "composite characters" based on study participants features. These provide ethnographically rich details of participants’ meaningful social worlds while protecting individual identities.ResultsTen of the 14 clinical trial participants, and 3 study staff were interviewed. Participant demographics and socio-economic profiles expressed limited contextual diversity. Half were men who have sex with men, half were former injection drug users experiencing homelessness, one was female, none were racialized minorities and there were no people from HIV endemic countries. Fully 90% had previous involvement in other clinical studies. Their stories point to particular socio-economic situations that motivated their participation as clinical labor through trial participation.ConclusionsOur findings support Fisher’s argument of “structural coercion” in clinical trial recruitment of vulnerable individuals experiencing precarious living conditions. Clinical trials should provide more detail of the structural socio-economic conditions and healthcare needs which lie “under consent” of study participants. Going well beyond an overly convenient narrative of altruism, ethical deliberation frameworks need to sufficiently address the structural conditions of clinical trials. We offer concrete possibilities for this and acknowledge that further research and clinical data should be made available underlying study participant contexts with regards to recruitment and participation in resource poor settings, in both the South and the North. (shrink)

The evolution of a relevant nosological concept reflects changes in the distinction between what is recognized and defined as normal and pathologic. Attention is directed to the rationale and value of detecting subclinical aging-related modifications in cognitive performance. The position that different kinds of dementias may have precedents in etiological-specific kinds of early or mild cognitive impairments (MCI) supports targeting people earlier for study of these subclinical symptoms. Because heterogeneous disorders can be expected to have multiple patterns of cognitive and (...) behavioral changes, useful conceptual nosologies should be flexible. Yet clinical research primarily restricts its focus to a single pathway where MCI leads to Alzheimer's disease (AD), and uses selective recruitment, washout screenings, repeated trialing of similar compounds, and other methods that bank the published evidence in favor of the existing therapies and their modest efficacy. This focus on AD recursively colors MCI, not as a flexible "human kind" in need of more careful research, but like AD, as an essential "natural kind." Early determination of MCI targets a potential pharmaceutical market of a quarter to a half of the population over sixty-five and the individual experiencing cognitive decline in its early stages is aware and sensitive to their surroundings, to a linked sociodegeneration with neurodegeneration. This paper examines how classifying people changes both the classifier and the subject of classification. The potential for conflict of interest is raised regarding what new causal knowledge and techniques for ascertainment are selected. Reading evidence from epidemiology, neurology, and clinical studies through science studies and bioethics lenses, we explore the possibility of a pluralistic model of cognitive impairment nosology where biological/pathologic processes respond and interrelate with a normal healthy state. (shrink)

This book . . . is an invitation to all Christians to begin constructing a food ethics; to the academic Christian ethicist, it presents an opportunity to join a discussion on a topic relevant in so many ways to the life of every American; to the Christian for whom the spark of the divine is detectable in the everyday life, it is a chance to begin making ethical sense out of something done every day for the entirety of one's natural (...) life-participating in agriculture. -from the Introduction In Sustainable Agriculture, Mark Graham joins the vibrant, substantive discussion about the moral issues in American agriculture by revealing what is going on in current agricultural practices and analyzing them in light of morality and sustainability. Graham's constructive proposal for change is based on a moral vision that identifies a group of core values around which our agricultural system should be developed, including: a) a consistent, safe food supply; b) vital, sustainable communities; and c) personal and environmental health. (shrink)

We present sound and complete sequent calculi for the modal mu-calculus with converse modalities, aka two-way modal mu-calculus. Notably, we introduce a cyclic proof system wherein proofs can be represented as finite trees with back-edges, i.e., finite graphs. The sequent calculi incorporate ordinal annotations and structural rules for managing them. Soundness is proved with relative ease as is the case for the modal mu-calculus with explicit ordinals. The main ingredients in the proof of completeness are isolating a class of non-wellfounded (...) proofs with sequents of bounded size, called slim proofs, and a counter-model construction that shows slimness suffices to capture all validities. Slim proofs are further transformed into cyclic proofs by means of re-assigning ordinal annotations. (shrink)

In 1856, the State of Ohio began an enumeration of its population to count and identify people with disabilities. This paper examines the ethical role of the accounting profession in this project, which supported the transatlantic eugenics movement and its genocidal attempts to eliminate disabled persons from the population. We use a theoretical approach based on Levinas who argued that the self is generated through engagement with the Other, and that this engagement presupposes a responsibility to and for the Other. (...) We show that successive waves of legislation relied on State and County auditors along with Township clerks and assessors to conduct the mechanics of the enumeration of the population, which focused on the identification, categorization, and counting of the disabled people of the State. We argue that the accounting-based technologies of enumeration and reporting objectify the enumerated persons and deny the auditor’s pre-existing ethical obligation to this new Other. We show how the financial expertise and structures of the State were engaged in the execution of this mandate, which remained in place for over a century and supported a program of institutionalization. We consider the ramifications of this for our understanding of the ethical role of public sector accounting in the United States over this period, which has been under-explored. (shrink)

Over 40 years of research have shown that traumatic brain injury affects brain volume. However, technical and practical limitations made it difficult to detect brain volume abnormalities in patients suffering from chronic effects of mild or moderate traumatic brain injury. This situation improved in 2006 with the FDA clearance of NeuroQuant®, a commercially available, computer-automated software program for measuring MRI brain volume in human subjects. More recent strides were made with the introduction of NeuroGage®, commercially available software that is based (...) on NeuroQuant® and extends its utility in several ways. Studies using these and similar methods have found that most patients with chronic mild or moderate traumatic brain injury have brain volume abnormalities, and several of these studies found—surprisingly—more abnormal enlargement than atrophy. More generally, 102 peer-reviewed studies have supported the reliability and validity of NeuroQuant® and NeuroGage®. Furthermore, this updated version of a previous review addresses whether NeuroQuant® and NeuroGage® meet the Daubert standard for admissibility in court. It concludes that NeuroQuant® and NeuroGage® meet the Daubert standard based on their reliability, validity, and objectivity. Due to the improvements in technology over the years, these brain volumetric techniques are practical and readily available for clinical or forensic use, and thus they are important tools for detecting signs of brain injury. (shrink)